Insup Lee,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

Park, Junkil, Lee, Insup, Sokolsky, Oleg, Hwang, Dae Yon, Ahn, Sojin, Choi, Jin-Young, Kang, Inhye

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 523 KB

english, 2017

2

[IEEE 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom) - Ostrava, Czech Republic (2018.9.17-2018.9.20)] 2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom) - ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing

Celdran, Alberto Huertas, Garcia Clemente, Felix J., Weimer, James, Lee, Insup

Year:

2018

Language:

english

File:

PDF, 304 KB

english, 2018

3

Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments

Fernández Maimó, Lorenzo, Huertas Celdrán, Alberto, Perales Gómez, Ángel, García Clemente, Félix, Weimer, James, Lee, Insup

Journal:

Year:

2019

Language:

english

File:

PDF, 412 KB

english, 2019

4

Analyzing and defending against web-based malware

Chang, Jian, Venkatasubramanian, Krishna K., West, Andrew G., Lee, Insup

Journal:

ACM Computing Surveys

Year:

2013

Language:

english

File:

PDF, 8.23 MB

english, 2013

5

Market segmentation and the valuation of closed-end country funds: An empirical analysis

Jongmoo Jay Choi, Insup Lee

Journal:

Review of Quantitative Finance and Accounting

Year:

1996

Language:

english

File:

PDF, 1.05 MB

english, 1996

6

[IEEE 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Reno, NV, USA (2014.6.10-2014.6.12)] 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems with OpenFlow

King, Andrew L., Chen, Sanjian, Lee, Insup

Year:

2014

Language:

english

File:

PDF, 282 KB

english, 2014

7

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - Platform-Based Automotive Safety Features

Gangadharan, Deepak, Sokolsky, Oleg, Lee, Insup, Kim, BaekGyu, Lin, Chung-Wei, Shiraishi, Shinichi

Year:

2016

Language:

english

File:

PDF, 995 KB

english, 2016

8

Compositional schedulability analysis for cyber-physical systems

Easwaran, Arvind, Lee, Insup

Journal:

ACM SIGBED Review

Year:

2008

Language:

english

File:

PDF, 88 KB

english, 2008

9

EXPLAINING PREMIUMS AND DISCOUNTS ON CLOSED-END EQUALITY COUNTRY FUNDS

Bala Arshanapalli, Jongmo Jay Choi, E. Tyler Clagget Jr., John Doukas, Insup Lee

Journal:

Journal of Applied Corporate Finance

Year:

1996

Language:

english

File:

PDF, 143 KB

english, 1996

10

Fabrication of alginate-based stimuli-responsive, non-cytotoxic, terpolymric semi-IPN hydrogel as a carrier for controlled release of bovine albumin serum and 5-amino salicylic acid

Das, Dipankar, Pham, Hien Thi Thu, Lee, Seongho, Noh, Insup

Journal:

Materials Science and Engineering: C

Year:

2019

Language:

english

File:

PDF, 2.59 MB

english, 2019

11

[IEEE 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Toyama, Japan (2011.08.28-2011.08.31)] 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications - Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems

Phan, Linh T.X., Lee, Insup

Year:

2011

Language:

english

File:

PDF, 244 KB

english, 2011

12

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Demo abstract: ROSLab — A modular programming environment for robotic applications

Bezzo, Nicola, Park, Junkil, King, Andrew, Gebhard, Peter, Ivanov, Radoslav, Lee, Insup

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

13

DAILY RETURN RELATIONSHIPS AMONG ASIAN STOCK MARKETS

Insup Lee, R. Richardson Pettit, Mark V. Swankoski

Journal:

Journal of Business Finance & Accounting

Year:

1990

Language:

english

File:

PDF, 921 KB

english, 1990

14

Application of Small Punch Test to Evaluate Sigma-Phase Embrittlement of Pressure Vessel Cladding Material

LEE, JooSuk, KIM, InSup, KIMURA, Akihiko

Journal:

Journal of Nuclear Science and Technology

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

15

Using chaos measures to examine international capital market integration

Sewell, Susan P., Stansell, Stanley R., Lee, Insup, Below, Scott D.

Journal:

Applied Financial Economics

Year:

1996

Language:

english

File:

PDF, 197 KB

english, 1996

16

[IEEE 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE) - Washington, DC, USA (2016.6.27-2016.6.29)] 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE) - Cloud-Based Secure Logger for Medical Devices

Nguyen, Hung, Acharya, Bipeen, Ivanov, Radoslav, Haeberlen, Andreas, Phan, Linh T. X., Sokolsky, Oleg, Walker, Jesse, Weimer, James, Hanson, William, Lee, Insup

Year:

2016

Language:

english

File:

PDF, 323 KB

english, 2016

17

[IEEE 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Daejeon, South Korea (2016.10.9-2016.10.14)] 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Online planning for energy-efficient and disturbance-aware UAV operations

Bezzo, Nicola, Mohta, Kartik, Nowzari, Cameron, Lee, Insup, Kumar, Vijay, Pappas, George

Year:

2016

Language:

english

File:

PDF, 2.36 MB

english, 2016

18

Synthesis andin vitrocharacterizations of porous carboxymethyl cellulose-poly(ethylene oxide) hydrogel film

Lee, Su Yeon, Bang, Sumi, Kim, Sumi, Jo, Seong Yeon, Kim, Bum-Chul, Hwang, Yunjae, Noh, Insup

Journal:

Biomaterials Research

Year:

2015

Language:

english

File:

PDF, 2.13 MB

english, 2015

19

The simulation design and analysis of a Flexible Manufacturing System with Automated Guided Vehicle System

Insup Um, Hyeonjae Cheon, Hongchul Lee

Journal:

Journal of Manufacturing Systems

Year:

2009

Language:

english

File:

PDF, 725 KB

english, 2009

20

Post-oxidizing treatments of the compound layer on the AISI 4135 steel produced by plasma nitrocarburizing

Journal:

Surface and Coatings Technology

Year:

2004

Language:

english

File:

PDF, 549 KB

english, 2004

21

Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults

Park, Junkil, Ivanov, Radoslav, Weimer, James, Pajic, Miroslav, Son, Sang Hyuk, Lee, Insup

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2017

Language:

english

File:

PDF, 801 KB

english, 2017

22

[IEEE 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Porto, Portugal (2018.4.11-2018.4.13)] 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) - Cyber-Physical System Checkpointing and Recovery

Kong, Fanxin, Xu, Meng, Weimer, James, Sokolsky, Oleg, Lee, Insup

Year:

2018

Language:

english

File:

PDF, 385 KB

english, 2018

23

A contextual analysis of Pascal programs

Robert P. Cook, Insup Lee

Journal:

Software: Practice and Experience

Year:

1982

Language:

english

File:

PDF, 476 KB

english, 1982

24

[IEEE 2018 IEEE 11th International Conference on Cloud Computing (CLOUD) - San Francisco, CA (2018.7.2-2018.7.7)] 2018 IEEE 11th International Conference on Cloud Computing (CLOUD) - Bandwidth Optimal Data/Service Delivery for Connected Vehicles via Edges

Gangadharan, Deepak, Sokolsky, Oleg, Lee, Insup, Kim, BaekGyu, Lin, Chung-Wei, Shiraishi, Shinichi

Year:

2018

Language:

english

File:

PDF, 9 KB

english, 2018

25

Improvement of the Surface Properties of Low Temperature Plasma Nitrocarburized Martensitic Precipitation-Hardening Stainless Steel by Aging Treatment

Journal:

Materials Science Forum

Year:

2018

Language:

english

File:

PDF, 773 KB

english, 2018

26

[IEEE 2005 IEEE 61st Vehicular Technology Conference - Stockholm, Sweden (30-01 May 2005)] 2005 IEEE 61st Vehicular Technology Conference - End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System

Bong Ho Kim,, Insup Lee,, Kelvin Chu,

Year:

2005

Language:

english

File:

PDF, 240 KB

english, 2005

27

Special issue featuring articles from the 4th Korea–China Symposium on Biomaterials and Nano-Biotechnology

Park, Jong-Chul, Lee, Kwon-Yong, Noh, Insup, Huang, Yao-Xiong

Journal:

Biomedical Materials

Year:

2007

Language:

english

File:

PDF, 97 KB

english, 2007

28

[IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Compositional Feasibility Analysis of Conditional Real-Time Task Models

Anand, Madhukar, Easwaran, Arvind, Fischmeister, Sebastian, Lee, Insup

Year:

2008

Language:

english

File:

PDF, 265 KB

english, 2008

29

Challenges and opportunities in deeply embedded systems security

Anand, Madhukar, Lee, Insup

Journal:

ACM SIGBED Review

Year:

2008

Language:

english

File:

PDF, 75 KB

english, 2008

30

Combination of plasma nitriding and nitrocarburizing treatments of AISI 630 martensitic precipitation hardening stainless steel

Journal:

Surface and Coatings Technology

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

31

A Graphical Language for Specifying and Analyzing Real-Time Systems

Ben-Abdallah, HanÃªne, Lee, Insup

Journal:

Integrated Computer-Aided Engineering

Year:

1998

File:

PDF, 425 KB

1998

32

Continuous Glucose Monitoring for Hypoglycemia Avoidance and Glucose Counterregulation in Long-Standing Type 1 Diabetes

Rickels, Michael R, Peleckis, Amy J, Dalton-Bakes, Cornelia, Naji, Joseph R, Ran, Nina A, Nguyen, Huong-Lan, O’Brien, Shannon, Chen, Sanjian, Lee, Insup, Schutta, Mark H

Journal:

Journal of Clinical Endocrinology & Metabolism

Year:

2018

Language:

english

File:

PDF, 480 KB

english, 2018

33

Mechanism of albumin release from alginate and chitosan beads fabricated in dual layers

Yun Sik Nam, Min Soo Bae, Sungwon Kim, Insup Noh, Jun Kyo Francis Suh, Kang Bong Lee, Il Keun Kwon

Journal:

Macromolecular Research

Year:

2011

Language:

english

File:

PDF, 975 KB

english, 2011

34

Synthesis and evaluation of hyaluronic acid–poly(ethylene oxide) hydrogel via Michael-type addition reaction

Gun-Woo Kim, Yoon-Jeong Choi, Mi-Sook Kim, Yongdoo Park, Kyu-Back Lee, In-Sook Kim, Soon-Jung Hwang, Insup Noh

Journal:

Current Applied Physics

Year:

2007

Language:

english

File:

PDF, 505 KB

english, 2007

35

State-based scheduling with tree schedules: analysis and evaluation

Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan

Journal:

Real-Time Systems

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

36

[IEEE 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL (2013.10.2-2013.10.4)] 2013 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Distributed aspects of the artificial pancreas

Patek, Stephen D., Chen, Sanjian, Keith-Hynes, Patrick, Insup Lee,

Year:

2013

Language:

english

File:

PDF, 1.54 MB

english, 2013

37

[IEEE Factory Automation (ETFA 2008) - Hamburg, Germany (2008.09.15-2008.09.18)] 2008 IEEE International Conference on Emerging Technologies and Factory Automation - Hardware acceleration for verifiable, adaptive real-time communication

Fischmeister, Sebastian, Lee, Insup, Trausmuth, Robert

Year:

2008

Language:

english

File:

PDF, 628 KB

english, 2008

38

[IEEE 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Milan (2015.8.25-2015.8.29)] 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Robust monitoring of hypovolemia in intensive care patients using photoplethysmogram signals

Roederer, Alexander, Weimer, James, DiMartino, Joseph, Gutsche, Jacob, Insup Lee,

Year:

2015

Language:

english

File:

PDF, 570 KB

english, 2015

39

[IEEE 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014) - Chicago, IL, USA (2014.9.14-2014.9.18)] 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems - Attack resilient state estimation for autonomous robotic systems

Bezzo, Nicola, Weimer, James, Pajic, Miroslav, Sokolsky, Oleg, Pappas, George J., Lee, Insup

Year:

2014

Language:

english

File:

PDF, 3.43 MB

english, 2014

40

[Lecture Notes in Computer Science] Embedded Software Volume 2855 || Pre-Scheduling: Integrating Offline and Online Scheduling Techniques

Alur, Rajeev, Lee, Insup

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

41

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Towards Context-Aware Cyber-Physical Systems

Ivanov, Radoslav, Weimer, James, Lee, Insup

Year:

2018

Language:

english

File:

PDF, 224 KB

english, 2018

42

Enhanced Photocatalytic and Antibacterial Performance of ZnO Nanoparticles Prepared by an Efficient Thermolysis Method

Hanif, Md. Abu, Lee, Insup, Akter, Jeasmin, Islam, Md. Akherul, Zahid, Ali A. S. M., Sapkota, Kamal Prasad, Hahn, Jae Ryang

Journal:

Year:

2019

File:

PDF, 4.29 MB

2019

43

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.02 MB

english, 2004

44

Fatigue behavior of plasma radical nitrided SCM435 steel in super-long life regime

Nu Yan, Ri-ichi Murakami, Insup Lee

Journal:

Metals and Materials International

Year:

2011

Language:

english

File:

PDF, 1.36 MB

english, 2011

45

Java-MaC: A Run-Time Assurance Approach for Java Programs

MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 316 KB

english, 2004

46

A Verifiable Language for Programming Real-Time Communication Schedules

Fischmeister, S., Sokolsky, O., Insup Lee

Journal:

IEEE Transactions on Computers

Year:

2007

Language:

english

File:

PDF, 1.39 MB

english, 2007

47

[IEEE 2011 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Chicago, IL, USA (2011.04.11-2011.04.14)] 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium - A Semantic Framework for Mode Change Protocols

Phan, Linh T. X., Lee, Insup, Sokolsky, Oleg

Year:

2011

Language:

english

File:

PDF, 793 KB

english, 2011

48

[ACM Press the second international workshop - Toronto, ON, Canada (2010.10.30-2010.10.30)] Proceedings of the second international workshop on Cloud data management - CloudDB '10 - Towards a data-centric view of cloud security

Zhou, Wenchao, Sherr, Micah, Marczak, William R., Zhang, Zhuoyao, Tao, Tao, Loo, Boon Thau, Lee, Insup

Year:

2010

Language:

english

File:

PDF, 683 KB

english, 2010

49

[Lecture Notes in Computer Science] Embedded Software Volume 2855 ||

Alur, Rajeev, Lee, Insup

Year:

2003

Language:

english

File:

PDF, 3.54 MB

english, 2003

50

Modulation of biomechanical properties of hyaluronic acid hydrogels by crosslinking agents

Choi, Sung Chul, Yoo, Mi Ae, Lee, Su Yeon, Lee, Hyun Ji, Son, Dong Hoon, Jung, Jessica, Noh, Insup, Kim, Chan-Wha

Journal:

Journal of Biomedical Materials Research Part A

Year:

2015

Language:

english

File:

PDF, 1.43 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски